Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Answer set programming at a glance

Année:
2011
Langue:
english
Fichier:
PDF, 4.04 MB
english, 2011
3

Complexity results for explanations in the structural-model approach

Année:
2004
Langue:
english
Fichier:
PDF, 595 KB
english, 2004
4

Causes and explanations in the structural-model approach: Tractable cases

Année:
2006
Langue:
english
Fichier:
PDF, 547 KB
english, 2006
5

Enhancing context knowledge repositories with justifiable exceptions

Année:
2018
Langue:
english
Fichier:
PDF, 1.68 MB
english, 2018
6

LARS: A Logic-based framework for Analytic Reasoning over Streams

Année:
2018
Langue:
english
Fichier:
PDF, 1.67 MB
english, 2018
7

An efficient method for eliminating varying predicates from a circumscription

Année:
1992
Langue:
english
Fichier:
PDF, 641 KB
english, 1992
9

Identifying the Minimal Transversals of a Hypergraph and Related Problems

Année:
1995
Langue:
english
Fichier:
PDF, 3.70 MB
english, 1995
14

On the complexity of propositional knowledge base revision, updates, and counterfactuals

Année:
1992
Langue:
english
Fichier:
PDF, 2.36 MB
english, 1992
16

Updating action domain descriptions

Année:
2010
Langue:
english
Fichier:
PDF, 1.16 MB
english, 2010
18

Semantic forgetting in answer set programming

Année:
2008
Langue:
english
Fichier:
PDF, 459 KB
english, 2008
19

Default reasoning from conditional knowledge bases: Complexity and tractable cases

Année:
2000
Langue:
english
Fichier:
PDF, 625 KB
english, 2000
21

Semantics and complexity of abduction from default theories

Année:
1997
Langue:
english
Fichier:
PDF, 3.38 MB
english, 1997
22

Heterogeneous active agents, II: Algorithms and complexity

Année:
1999
Langue:
english
Fichier:
PDF, 388 KB
english, 1999
23

Heterogeneous active agents, I: Semantics

Année:
1999
Langue:
english
Fichier:
PDF, 1.24 MB
english, 1999
24

Computing intersections of Horn theories for reasoning with models

Année:
1999
Langue:
english
Fichier:
PDF, 362 KB
english, 1999
25

Preferred answer sets for extended logic programs

Année:
1999
Langue:
english
Fichier:
PDF, 442 KB
english, 1999
26

Distance measures for point sets and their computation

Année:
1997
Langue:
english
Fichier:
PDF, 307 KB
english, 1997
27

Enhancing model checking in verification by AI techniques

Année:
1999
Langue:
english
Fichier:
PDF, 421 KB
english, 1999
28

Heterogeneous active agents, III: Polynomially implementable agents

Année:
2000
Langue:
english
Fichier:
PDF, 1.13 MB
english, 2000
29

Finding explanations of inconsistency in multi-context systems

Année:
2014
Langue:
english
Fichier:
PDF, 1.36 MB
english, 2014
31

The complexity of logic-based abduction

Année:
1995
Langue:
english
Fichier:
PDF, 2.88 MB
english, 1995
32

Disjunctive datalog

Année:
1997
Langue:
english
Fichier:
PDF, 631 KB
english, 1997
35

Domain expansion for ASP-programs with external sources

Année:
2016
Langue:
english
Fichier:
PDF, 1.08 MB
english, 2016
36

Semi-equilibrium models for paracoherent answer set programs

Année:
2016
Langue:
english
Fichier:
PDF, 1.41 MB
english, 2016
38

Evaluating epistemic negation in answer set programming

Année:
2016
Langue:
english
Fichier:
PDF, 641 KB
english, 2016
39

Data repair of inconsistent nonmonotonic description logic programs

Année:
2016
Langue:
english
Fichier:
PDF, 1.23 MB
english, 2016
46

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Année:
1996
Langue:
english
Fichier:
PDF, 1.75 MB
english, 1996
47

On the Difference of Horn Theories

Année:
2000
Langue:
english
Fichier:
PDF, 248 KB
english, 2000
48

On ACTL Formulas Having Linear Counterexamples

Année:
2001
Langue:
english
Fichier:
PDF, 723 KB
english, 2001